机译:一个有许多开放问题的麦格纳宪章
机译:具有许多开放性问题的新疾病:德国甜菜的“综合征Bassess Richesses”(SBR)
机译:艰巨的任务,有很多未解决的问题
机译:镍泰坦 - 具有许多应用的卓越材料
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:眼科。简短的教科书包含487个考试题
机译:文章出版物的排名?更加透明! #altmetrics显示有用的方法-有待解决的问题